\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Related work}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Gnothi}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Motivation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Design}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Some results}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Salus}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Motivation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Design}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Pipelined commit}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Active storage}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.3}Scalable end-to-end checks}{2}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.4}Recovery}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Some results}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Future work}{2}}
\bibstyle{abbrv}
\bibdata{exalt}
\@writefile{toc}{\contentsline {section}{\numberline {5}Emulator (future work)}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Motivation}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Make data distinguishable from metadata}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Implementation}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Some preliminary result}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Plan}{3}}
